Step of Proof: sq_stable__and
9,38
postcript
pdf
Inference at
*
2
1
I
of proof for Lemma
sq
stable
and
:
1.
P
:
2.
Q
:
3. (
P
)
P
4. (
Q
)
Q
5.
(
P
Q
)
Q
latex
by ((BasicSquashHD 5)
CollapseTHEN (UnhideSinceSquashedConcl))
latex
C
1
:
C1:
5.
P
Q
C1:
Q
C
.
Definitions
t
T
,
True
,
T
origin